@set UPDATED 7 December 2018
@set UPDATED-MONTH December 2018
@set EDITION 1.42
@set VERSION 1.42
